[next] [prev] [prev-tail] [tail] [up]

2.2.10 Integrals 901 to 1000

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 34 39 0 21 51 54 28

N.S.

1 1.00 1.21 1.39 0.00 0.75 1.82 1.93 1.00

time (sec)

N/A 0.069 0.262 0.182 0.000 1.035 0.125 0.591 4.597

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 53 39 0 39 107 106 56

N.S.

1 1.00 0.91 0.67 0.00 0.67 1.84 1.83 0.97

time (sec)

N/A 0.076 0.969 0.188 0.000 0.886 0.227 0.687 4.616

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 58 39 0 54 151 140 67

N.S.

1 1.00 0.94 0.63 0.00 0.87 2.44 2.26 1.08

time (sec)

N/A 0.078 1.069 0.224 0.000 1.268 0.263 0.813 4.716

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 93 81 123 177 245 177 96

N.S.

1 1.00 1.06 0.92 1.40 2.01 2.78 2.01 1.09

time (sec)

N/A 0.083 1.341 0.093 0.486 0.922 0.516 0.887 4.895

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 63 75 106 146 201 146 117

N.S.

1 1.00 0.77 0.91 1.29 1.78 2.45 1.78 1.43

time (sec)

N/A 0.069 1.214 0.081 0.524 1.089 0.431 0.776 4.707

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 41 38 55 115 156 371 39

N.S.

1 1.00 0.69 0.64 0.93 1.95 2.64 6.29 0.66

time (sec)

N/A 0.048 0.137 0.045 0.523 0.942 0.316 0.724 4.734

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 52 54 72 84 112 84 80

N.S.

1 1.00 0.85 0.89 1.18 1.38 1.84 1.38 1.31

time (sec)

N/A 0.063 1.034 0.074 0.531 1.197 0.280 0.615 4.749

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 55 21 48 48 66 48 34

N.S.

1 1.00 2.20 0.84 1.92 1.92 2.64 1.92 1.36

time (sec)

N/A 0.048 0.204 0.074 0.529 1.548 0.145 0.566 4.730

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 234 44 0 125 133 184 64

N.S.

1 1.00 3.30 0.62 0.00 1.76 1.87 2.59 0.90

time (sec)

N/A 0.084 1.005 0.174 0.000 1.013 0.218 0.571 4.783

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 115 52 0 84 167 159 76

N.S.

1 1.00 1.39 0.63 0.00 1.01 2.01 1.92 0.92

time (sec)

N/A 0.089 1.124 0.194 0.000 1.101 0.296 0.636 4.875

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 34 50 0 21 51 72 59

N.S.

1 1.00 0.68 1.00 0.00 0.42 1.02 1.44 1.18

time (sec)

N/A 0.076 0.278 0.194 0.000 1.303 0.186 0.806 4.820

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 64 53 0 39 107 140 77

N.S.

1 1.00 0.74 0.61 0.00 0.45 1.23 1.61 0.89

time (sec)

N/A 0.086 1.160 0.230 0.000 1.159 0.278 0.876 4.846

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 58 52 0 54 151 174 88

N.S.

1 1.00 0.64 0.58 0.00 0.60 1.68 1.93 0.98

time (sec)

N/A 0.088 1.338 0.286 0.000 1.531 0.356 1.094 4.862

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 74 96 140 190 264 190 95

N.S.

1 1.00 0.74 0.96 1.40 1.90 2.64 1.90 0.95

time (sec)

N/A 0.073 1.224 0.094 0.503 1.186 0.687 0.992 4.739

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 49 46 72 159 219 650 82

N.S.

1 1.00 0.64 0.60 0.94 2.06 2.84 8.44 1.06

time (sec)

N/A 0.051 0.248 0.060 0.502 0.832 0.457 1.225 4.583

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 63 75 106 128 175 128 117

N.S.

1 1.00 0.77 0.91 1.29 1.56 2.13 1.56 1.43

time (sec)

N/A 0.069 1.041 0.080 0.505 1.023 0.417 0.782 4.545

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 80 50 72 97 131 97 80

N.S.

1 1.00 1.38 0.86 1.24 1.67 2.26 1.67 1.38

time (sec)

N/A 0.071 0.945 0.069 0.534 1.124 0.301 0.729 4.604

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 85 22 64 61 82 61 78

N.S.

1 1.00 3.40 0.88 2.56 2.44 3.28 2.44 3.12

time (sec)

N/A 0.048 0.597 0.071 0.501 1.156 0.199 0.628 4.585

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 194 57 0 179 175 200 85

N.S.

1 1.00 2.04 0.60 0.00 1.88 1.84 2.11 0.89

time (sec)

N/A 0.091 2.082 0.164 0.000 1.012 0.282 0.655 4.678

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 279 60 0 143 199 217 93

N.S.

1 1.00 2.76 0.59 0.00 1.42 1.97 2.15 0.92

time (sec)

N/A 0.098 1.740 0.191 0.000 1.015 0.314 0.735 4.844

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 121 65 0 99 212 193 103

N.S.

1 1.00 1.06 0.57 0.00 0.87 1.86 1.69 0.90

time (sec)

N/A 0.094 1.047 0.239 0.000 1.218 0.361 0.853 4.767

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 34 66 0 21 51 88 76

N.S.

1 1.00 0.68 1.32 0.00 0.42 1.02 1.76 1.52

time (sec)

N/A 0.072 0.284 0.228 0.000 0.763 0.264 0.960 4.718

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 53 66 0 39 107 174 98

N.S.

1 1.00 0.61 0.76 0.00 0.45 1.23 2.00 1.13

time (sec)

N/A 0.082 1.011 0.281 0.000 1.135 0.357 1.199 4.873

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 376 57 0 137 143 200 82

N.S.

1 1.00 3.96 0.60 0.00 1.44 1.51 2.11 0.86

time (sec)

N/A 0.096 1.600 0.189 0.000 1.186 0.247 0.645 4.724

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 214 44 0 93 100 184 61

N.S.

1 1.00 3.01 0.62 0.00 1.31 1.41 2.59 0.86

time (sec)

N/A 0.087 1.429 0.170 0.000 1.462 0.206 0.597 4.623

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 130 38 0 41 68 125 45

N.S.

1 1.00 2.36 0.69 0.00 0.75 1.24 2.27 0.82

time (sec)

N/A 0.083 0.852 0.155 0.000 1.229 0.193 0.519 4.681

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 32 20 0 19 37 33 19

N.S.

1 1.00 1.39 0.87 0.00 0.83 1.61 1.43 0.83

time (sec)

N/A 0.055 0.135 0.153 0.000 1.055 0.077 0.452 4.697

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) C A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 29 64 0 49 117 46 32

N.S.

1 1.00 0.78 1.73 0.00 1.32 3.16 1.24 0.86

time (sec)

N/A 0.048 0.034 0.134 0.000 1.421 0.138 0.483 4.587

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 81 78 0 61 178 118 66

N.S.

1 1.00 0.93 0.90 0.00 0.70 2.05 1.36 0.76

time (sec)

N/A 0.079 0.772 0.190 0.000 1.457 0.202 0.549 4.751

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 101 91 0 73 214 123 77

N.S.

1 1.00 0.81 0.73 0.00 0.59 1.73 0.99 0.62

time (sec)

N/A 0.113 0.807 0.207 0.000 1.167 0.238 0.607 4.901

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 374 60 0 111 155 217 90

N.S.

1 1.00 3.70 0.59 0.00 1.10 1.53 2.15 0.89

time (sec)

N/A 0.097 1.551 0.206 0.000 1.028 0.328 0.712 4.683

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 113 52 0 57 122 159 73

N.S.

1 1.00 1.36 0.63 0.00 0.69 1.47 1.92 0.88

time (sec)

N/A 0.088 1.037 0.184 0.000 0.989 0.249 0.604 4.713

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 34 39 0 21 46 54 28

N.S.

1 1.00 1.21 1.39 0.00 0.75 1.64 1.93 1.00

time (sec)

N/A 0.071 0.283 0.179 0.000 0.924 0.135 0.594 4.740

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 51 22 0 35 88 65 21

N.S.

1 1.00 2.04 0.88 0.00 1.40 3.52 2.60 0.84

time (sec)

N/A 0.053 0.398 0.174 0.000 1.044 0.142 0.514 4.608

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 102 78 0 61 172 118 66

N.S.

1 1.00 1.01 0.77 0.00 0.60 1.70 1.17 0.65

time (sec)

N/A 0.105 0.664 0.166 0.000 1.048 0.191 0.537 4.884

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) C A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 39 92 0 73 221 61 38

N.S.

1 1.00 0.61 1.44 0.00 1.14 3.45 0.95 0.59

time (sec)

N/A 0.063 0.059 0.133 0.000 1.287 0.246 0.567 4.730

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 135 105 0 85 258 137 88

N.S.

1 1.00 1.18 0.92 0.00 0.75 2.26 1.20 0.77

time (sec)

N/A 0.090 0.965 0.206 0.000 1.212 0.351 0.673 5.222

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 569 84 0 173 246 287 139

N.S.

1 1.00 3.69 0.55 0.00 1.12 1.60 1.86 0.90

time (sec)

N/A 0.117 3.623 0.271 0.000 1.017 0.454 1.087 4.745

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 923 71 0 127 202 253 138

N.S.

1 1.00 6.89 0.53 0.00 0.95 1.51 1.89 1.03

time (sec)

N/A 0.105 6.913 0.237 0.000 1.525 0.393 1.026 5.691

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 143 65 0 72 168 193 102

N.S.

1 1.00 1.25 0.57 0.00 0.63 1.47 1.69 0.89

time (sec)

N/A 0.098 1.174 0.224 0.000 1.282 0.343 0.852 4.727

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 34 50 0 21 46 72 55

N.S.

1 1.00 0.68 1.00 0.00 0.42 0.92 1.44 1.10

time (sec)

N/A 0.075 0.276 0.214 0.000 1.606 0.201 0.793 4.715

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 53 39 0 39 95 106 56

N.S.

1 1.00 0.91 0.67 0.00 0.67 1.64 1.83 0.97

time (sec)

N/A 0.077 0.671 0.195 0.000 1.215 0.196 0.738 4.744

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 56 21 0 48 129 96 20

N.S.

1 1.00 2.24 0.84 0.00 1.92 5.16 3.84 0.80

time (sec)

N/A 0.053 0.361 0.178 0.000 1.025 0.176 0.676 4.639

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 115 91 0 73 207 123 77

N.S.

1 1.00 0.88 0.69 0.00 0.56 1.58 0.94 0.59

time (sec)

N/A 0.113 0.668 0.239 0.000 1.184 0.220 0.588 4.830

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 111 105 0 85 258 137 87

N.S.

1 1.00 0.69 0.65 0.00 0.53 1.60 0.85 0.54

time (sec)

N/A 0.124 0.971 0.185 0.000 0.846 0.338 0.666 5.250

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) C A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 49 118 0 97 296 72 57

N.S.

1 1.00 0.54 1.30 0.00 1.07 3.25 0.79 0.63

time (sec)

N/A 0.066 0.065 0.183 0.000 1.344 0.369 0.693 4.720

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 455 87 0 142 243 285 170

N.S.

1 1.00 2.84 0.54 0.00 0.89 1.52 1.78 1.06

time (sec)

N/A 0.116 3.863 0.290 0.000 1.150 0.526 1.255 6.951

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 151 79 0 87 209 227 146

N.S.

1 1.00 1.03 0.54 0.00 0.60 1.43 1.55 1.00

time (sec)

N/A 0.104 1.476 0.254 0.000 1.613 0.446 1.122 6.072

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 34 66 0 21 46 88 69

N.S.

1 1.00 0.68 1.32 0.00 0.42 0.92 1.76 1.38

time (sec)

N/A 0.072 0.389 0.201 0.000 1.180 0.257 0.984 4.725

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 53 53 0 39 95 140 75

N.S.

1 1.00 0.61 0.61 0.00 0.45 1.09 1.61 0.86

time (sec)

N/A 0.085 0.967 0.231 0.000 1.396 0.272 0.883 4.774

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 75 39 0 54 139 140 64

N.S.

1 1.00 1.21 0.63 0.00 0.87 2.24 2.26 1.03

time (sec)

N/A 0.080 0.750 0.233 0.000 1.403 0.234 0.785 4.714

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 74 22 0 61 167 125 21

N.S.

1 1.00 2.96 0.88 0.00 2.44 6.68 5.00 0.84

time (sec)

N/A 0.054 0.447 0.236 0.000 1.690 0.243 0.724 4.648

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 134 105 0 85 246 140 88

N.S.

1 1.00 0.83 0.65 0.00 0.52 1.52 0.86 0.54

time (sec)

N/A 0.122 0.776 0.224 0.000 1.632 0.276 0.640 5.171

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 139 119 0 97 296 149 98

N.S.

1 1.00 0.72 0.62 0.00 0.50 1.53 0.77 0.51

time (sec)

N/A 0.141 0.955 0.285 0.000 1.560 0.388 0.718 6.049

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 133 132 0 109 333 160 109

N.S.

1 1.00 0.60 0.59 0.00 0.49 1.49 0.72 0.49

time (sec)

N/A 0.151 1.425 0.239 0.000 1.838 0.476 0.825 7.097

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 61 66 70 88 0 0 155

N.S.

1 1.00 0.66 0.72 0.76 0.96 0.00 0.00 1.68

time (sec)

N/A 0.116 1.322 0.359 0.282 1.215 0.000 0.000 6.212

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 37 47 47 60 0 0 87

N.S.

1 1.00 0.62 0.78 0.78 1.00 0.00 0.00 1.45

time (sec)

N/A 0.099 0.923 0.232 0.284 1.355 0.000 0.000 4.793

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 22 20 27 42 20 29

N.S.

1 1.00 1.00 0.88 0.80 1.08 1.68 0.80 1.16

time (sec)

N/A 0.069 0.423 0.189 0.292 0.916 1.685 1.150 0.456

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 110 78 110 261 0 0 81

N.S.

1 1.00 1.16 0.82 1.16 2.75 0.00 0.00 0.85

time (sec)

N/A 0.124 0.753 0.356 0.518 1.071 0.000 0.000 0.302

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 136 117 159 287 0 0 132

N.S.

1 1.00 0.99 0.85 1.15 2.08 0.00 0.00 0.96

time (sec)

N/A 0.134 1.099 0.319 0.506 1.266 0.000 0.000 4.854

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 149 156 200 299 0 0 179

N.S.

1 1.00 0.82 0.86 1.10 1.65 0.00 0.00 0.99

time (sec)

N/A 0.144 1.490 0.338 0.519 1.013 0.000 0.000 4.979

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 94 66 70 104 0 0 95

N.S.

1 1.00 1.00 0.70 0.74 1.11 0.00 0.00 1.01

time (sec)

N/A 0.117 1.365 0.318 0.302 1.151 0.000 0.000 8.622

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 80 47 48 75 0 0 168

N.S.

1 1.00 1.29 0.76 0.77 1.21 0.00 0.00 2.71

time (sec)

N/A 0.106 1.033 0.299 0.292 1.544 0.000 0.000 6.788

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 54 22 20 41 44 20 47

N.S.

1 1.00 2.00 0.81 0.74 1.52 1.63 0.74 1.74

time (sec)

N/A 0.071 0.545 0.157 0.276 0.881 1.752 0.463 0.198

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 114 77 110 267 0 0 83

N.S.

1 1.00 1.20 0.81 1.16 2.81 0.00 0.00 0.87

time (sec)

N/A 0.125 0.908 0.316 0.512 0.710 0.000 0.000 0.287

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 136 97 157 303 0 0 134

N.S.

1 1.00 0.93 0.66 1.08 2.08 0.00 0.00 0.92

time (sec)

N/A 0.131 1.410 0.322 0.538 0.762 0.000 0.000 4.888

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 152 116 200 317 0 0 181

N.S.

1 1.00 0.79 0.60 1.04 1.64 0.00 0.00 0.94

time (sec)

N/A 0.149 1.878 0.329 0.503 0.864 0.000 0.000 4.937

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 100 66 70 123 0 0 97

N.S.

1 1.00 1.06 0.70 0.74 1.31 0.00 0.00 1.03

time (sec)

N/A 0.103 1.915 0.325 0.283 0.792 0.000 0.000 8.226

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 78 47 48 92 0 0 83

N.S.

1 1.00 1.26 0.76 0.77 1.48 0.00 0.00 1.34

time (sec)

N/A 0.101 1.369 0.265 0.289 0.969 0.000 0.000 9.948

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 70 22 20 56 44 0 120

N.S.

1 1.00 2.59 0.81 0.74 2.07 1.63 0.00 4.44

time (sec)

N/A 0.077 0.679 0.219 0.308 0.941 4.430 0.000 0.313

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) A A B F F B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

125 125 0 95 133 272 0 0 109

N.S.

1 1.00 0.00 0.76 1.06 2.18 0.00 0.00 0.87

time (sec)

N/A 0.134 180.004 0.296 0.499 1.499 0.000 0.000 0.355

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 138 95 159 311 0 0 135

N.S.

1 1.00 0.95 0.65 1.09 2.13 0.00 0.00 0.92

time (sec)

N/A 0.135 1.549 0.288 0.520 1.792 0.000 0.000 0.279

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 152 114 200 325 0 0 181

N.S.

1 1.00 0.79 0.59 1.04 1.68 0.00 0.00 0.94

time (sec)

N/A 0.148 2.439 0.341 0.509 1.410 0.000 0.000 4.930

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 94 66 73 78 0 0 113

N.S.

1 1.00 1.04 0.73 0.81 0.87 0.00 0.00 1.26

time (sec)

N/A 0.107 1.291 0.253 0.289 1.438 0.000 0.000 5.282

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 91 45 47 50 0 0 77

N.S.

1 1.00 1.57 0.78 0.81 0.86 0.00 0.00 1.33

time (sec)

N/A 0.101 0.987 0.264 0.301 1.400 0.000 0.000 4.860

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 64 22 20 45 44 0 65

N.S.

1 1.00 2.56 0.88 0.80 1.80 1.76 0.00 2.60

time (sec)

N/A 0.073 0.483 0.203 0.289 1.555 1.458 0.000 4.803

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 117 102 131 284 0 0 113

N.S.

1 1.00 0.94 0.82 1.06 2.29 0.00 0.00 0.91

time (sec)

N/A 0.127 1.263 0.272 0.497 1.657 0.000 0.000 5.030

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 141 120 176 308 0 0 156

N.S.

1 1.00 0.84 0.72 1.05 1.84 0.00 0.00 0.93

time (sec)

N/A 0.142 1.662 0.338 0.523 1.261 0.000 0.000 5.001

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 146 139 217 320 0 0 202

N.S.

1 1.00 0.70 0.66 1.03 1.52 0.00 0.00 0.96

time (sec)

N/A 0.152 2.072 0.376 0.525 1.605 0.000 0.000 5.014

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 94 64 71 65 0 0 98

N.S.

1 1.00 1.04 0.71 0.79 0.72 0.00 0.00 1.09

time (sec)

N/A 0.117 2.007 0.259 0.279 1.166 0.000 0.000 5.146

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 93 47 46 65 0 0 98

N.S.

1 1.00 1.55 0.78 0.77 1.08 0.00 0.00 1.63

time (sec)

N/A 0.111 1.404 0.241 0.278 1.091 0.000 0.000 5.034

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 72 22 20 59 46 0 93

N.S.

1 1.00 2.67 0.81 0.74 2.19 1.70 0.00 3.44

time (sec)

N/A 0.076 0.799 0.203 0.301 1.554 7.322 0.000 5.094

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 138 121 147 310 0 0 139

N.S.

1 1.00 0.88 0.78 0.94 1.99 0.00 0.00 0.89

time (sec)

N/A 0.141 2.058 0.339 0.501 1.342 0.000 0.000 0.490

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 145 139 192 334 0 0 182

N.S.

1 1.00 0.73 0.70 0.96 1.68 0.00 0.00 0.91

time (sec)

N/A 0.161 1.976 0.333 0.517 1.429 0.000 0.000 5.192

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 160 158 233 346 0 0 229

N.S.

1 1.00 0.66 0.65 0.96 1.43 0.00 0.00 0.95

time (sec)

N/A 0.174 2.675 0.379 0.537 1.522 0.000 0.000 5.071

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 98 66 68 80 0 0 121

N.S.

1 1.00 1.07 0.72 0.74 0.87 0.00 0.00 1.32

time (sec)

N/A 0.118 3.000 0.274 0.293 1.907 0.000 0.000 5.456

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 95 47 46 80 0 0 123

N.S.

1 1.00 1.53 0.76 0.74 1.29 0.00 0.00 1.98

time (sec)

N/A 0.107 2.101 0.258 0.289 1.789 0.000 0.000 5.552

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 72 22 20 72 46 0 118

N.S.

1 1.00 2.67 0.81 0.74 2.67 1.70 0.00 4.37

time (sec)

N/A 0.074 1.069 0.183 0.281 1.512 9.296 0.000 5.493

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 149 140 169 330 0 0 165

N.S.

1 1.00 0.79 0.74 0.90 1.76 0.00 0.00 0.88

time (sec)

N/A 0.163 2.525 0.325 0.486 1.246 0.000 0.000 0.636

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 182 158 214 354 0 0 208

N.S.

1 1.00 0.79 0.68 0.93 1.53 0.00 0.00 0.90

time (sec)

N/A 0.172 3.662 0.335 0.504 1.500 0.000 0.000 5.641

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

274 274 171 177 255 366 0 0 255

N.S.

1 1.00 0.62 0.65 0.93 1.34 0.00 0.00 0.93

time (sec)

N/A 0.184 3.296 0.301 0.492 1.111 0.000 0.000 5.140

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 87 154 710 380 0 325 -1

N.S.

1 1.00 0.56 1.00 4.61 2.47 0.00 2.11 -0.01

time (sec)

N/A 0.121 2.868 0.437 0.599 1.071 0.000 1.450 0.000

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 129 122 481 304 0 0 -1

N.S.

1 1.00 1.22 1.15 4.54 2.87 0.00 0.00 -0.01

time (sec)

N/A 0.093 1.996 0.348 0.595 1.518 0.000 0.000 0.000

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 74 96 114 229 0 0 62

N.S.

1 1.00 1.17 1.52 1.81 3.63 0.00 0.00 0.98

time (sec)

N/A 0.077 0.945 0.332 0.606 1.289 0.000 0.000 5.770

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 41 65 37 67 0 0 34

N.S.

1 1.00 1.00 1.59 0.90 1.63 0.00 0.00 0.83

time (sec)

N/A 0.067 0.686 0.331 0.540 1.670 0.000 0.000 0.710

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 68 74 0 80 0 0 135

N.S.

1 1.00 0.76 0.82 0.00 0.89 0.00 0.00 1.50

time (sec)

N/A 0.083 0.873 0.322 0.000 1.339 0.000 0.000 6.314

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 90 85 0 92 0 0 160

N.S.

1 1.00 0.66 0.62 0.00 0.68 0.00 0.00 1.18

time (sec)

N/A 0.091 1.269 0.373 0.000 1.399 0.000 0.000 6.150

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 105 95 0 104 0 0 183

N.S.

1 1.00 0.58 0.52 0.00 0.57 0.00 0.00 1.01

time (sec)

N/A 0.112 1.696 0.377 0.000 2.261 0.000 0.000 6.730

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 101 186 949 455 0 0 -1

N.S.

1 1.00 0.64 1.17 5.97 2.86 0.00 0.00 -0.01

time (sec)

N/A 0.112 3.426 0.331 0.622 1.505 0.000 0.000 0.000

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 133 128 689 379 0 307 -1

N.S.

1 1.00 1.18 1.13 6.10 3.35 0.00 2.72 -0.01

time (sec)

N/A 0.096 2.853 0.345 0.585 1.818 0.000 1.354 0.000

[next] [prev] [prev-tail] [front] [up]